Reichelt (Richeltus), Julius, mathématicien et astronome de Strasbourg